PicOS: A Tiny Operating System for Extremely Small Embedded Platforms
نویسندگان
چکیده
We present a certain programming paradigm for implementing low-footprint applications on small embedded platforms and a tiny operating system based on that paradigm. The primary objective of our work was to create a friendly environment for rapid, reliable, and efficient deployment of customizable microcontroller applications primarily (but not necessarily) aimed at the wireless world. The proposed solution, while being characterized by very small resource requirements, offers an interesting flavor of multithreading and provides for well-structured self-documenting layout of the application code.
منابع مشابه
Testing Real-Time Properties of Embedded Systems
We introduce an executable model for verifying real-time properties of embedded systems programmed under PicOS, which is a tiny operating system for small-footprint wireless devices. One of its interesting features is a close relationship with a simulation/specification package, dubbed SMURPH/SIDE, offering a frugal, powerful, and friendly programming paradigm for multithreaded reactive applica...
متن کاملAn Efficient Randomized Algorithm for Real-Time Process Scheduling in PicOS Operating System
PicOS is an event-driven operating environment designed for use with embedded networked sensors. More specifically, it is designed to support the concurrency in intensive operations required by networked sensors with minimal hardware requirements. Existing process scheduling algorithms of PicOS; a commercial tiny, low-footprint, real-time operating system; have their associated drawbacks. An ef...
متن کاملQuarkOS: Pushing the Operating Limits of Micro-Powered Sensors
As sensors penetrate into deeply embedded settings such as implantables, wearables, and textiles, they present new challenges due to their tiny energy buffers and extremely low harvesting conditions under which they need to operate. However, existing low-power operating systems are not designed with the goal of scaling down to such severely constrained environments. We address these challenges ...
متن کاملTemporal Monitors for TinyOS
Networked embedded systems generally have extremely low visibility of system faults. In this paper, we report on experimenting with online, node-local temporal monitors for networked embedded nodes running the TinyOS operating system and programmed in the nesC language. We instrument the original node software to signal asynchronous atomic events to a local nesC component running a runtime veri...
متن کاملEnergy-Efficient Hosting Rich Content from Mobile Platforms with Relative Proximity Sensing
In this paper, we present a tiny networked mobile platform, termed Tiny-Web-Thing (T-Wing), which allows the sharing of data-intensive content among objects in cyber physical systems. The object includes mobile platforms like a smartphone, and Internet of Things (IoT) platforms for Human-to-Human (H2H), Human-to-Machine (H2M), Machine-to-Human (M2H), and Machine-to-Machine (M2M) communications....
متن کامل